Abstract In this paper, the properties of the generated deductive systems are studied and the quotient structure of Hilbert algebra has been given out, it is proved that the quotient of Hilbert algebra is also a Hilbert algebra. 研究了Hilbert代数的生成演绎系统的一些性质后,做成了Hilbert代数的商结构,并证明了这种商结构仍然是一个Hilbert代数。
In this paper we discussed the properties of quotient Hopf algebra under Hopf algebra homomorphism and generalized fundamental homomorphism theorem for coalgebra by basic research method. 利用Hopf代数的基本研究方法,讨论了在Hopf代数同态下有关商Hopf代数的性质并对余代数的基本同态定理进行了推广。
A definition of quotient algebra of BCH_algebra is given by using ideal of BCH_algebra, and it is proved that a quotient algebra of BCH_algebra is a generalized associative BCI_algebra. 利用BCH代数的理想给出了BCH代数的商代数的一种定义方法,同时证明了BCH代数的商代数是一个广义结合BCI代数。
If X_0 is a finite ste and X/ X_0 ≠ { C_0}, then quotient algebra X/ X_0 is implicative BCK-algebra with infinite initial section. 当X0是有限集且X0≠X时,商代数X/X0是无限初始段关联BCK-代数。
Intuitionistic Fuzzy Algebra Ideals and Intuitionistic Fuzzy Quotient Algebra 直觉模糊代数理想和直觉模糊商代数
The Quotient of Hilbert Algebra Hilbert代数的商结构
A new equivalent condition for the normal filter in pseudo MTL-algebra is established. Moreover, by these results, quotient algebra of pseudo MTL-algebra is built. 利用这些结果,建立了伪MTL-代数(WPBL-代数)的商代数结构。
Product and Quotient of SD-Algebra SD代数的积代数和商代数
From the famous Gabriel's theorem, a basic connected finite dimensional associative algebra A over an algebraically closed field can be looked as a quotient of a path algebra decided by a connected finite quiver Q. 由Gabriel定理,代数闭域上基的,连通的有限维结合代数A同构于一个由连通有限箭图Q确定的路代数的商代数。
In this paper, it is proved that the derivation algebra of the Lie algebra of infinite matrices with finite nonzero entries is isomorphic to the quotient of the Lie algebra of infinite matrices with finite nonzero entries in each row and in each column nodulo its center. 该文证明了只有有限个非零元的无限矩阵构成的李代数的导子代数同构于每行每列都有限个非零元的无限矩阵构成的李代数模去其中心所成的商。
Notes on the quotient surjection in Boolean algebra 对布尔代数上的可商满射的注记
Rough Classification Algebra& Protocol Relation and Rough Quotient Algebra 粗糙分类代数&协议关系与粗糙商代数
In this paper we reveal the equivalence between the quotient surjection and a class of preserving union and intersection surjection in Boolean algebra and we prove that the quotient surjection in Boolean algebra is one-one mapping. 揭示了布尔代数上的可商满射与布尔代数上的一类保交保并的满射间的等价性,证明了布尔代数上的可商满射为一一映射。
Based on the protocol relation, the rough quotient algebra and the rough subalgebra are constructed. The avoidance-merge algorithm ( A-M algorithm) is presented and an example is given. 基于协议关系构造了粗糙商代数和粗糙子代数,给出了回避-归并算法及算例。
Ideal and Quotient Algebra of FI-Algebra FI代数的理想及商代数
This paper first illustrated a classification of congruence decomposition on N ( 2,2,0) algebra, then discussed the algebraic structure of the quotient algebra and a classification of converse ( image) under the natural homomorphism. 对N(2,2,0)代数给出了一类同余分解,探讨了其商代数的代数结构以及自然同态下一类逆象的代数结构。
I is a maximal and positive implicative ideal. If I is a proper ideal of X, then I is obstinate if the quotient algebra 若I是X的一个真理想,则I是固执的当且仅当商代数
Quotient set is one of the most important conception of relational algebra. It is widely used in computer science and technology information science and information engineering. 商集是关系代数中的一个重要概念,在计算机科学和技术、信息科学和信息工程中都有广泛的应用。
Some characterizations of the quotient algebra [ F] are discussed. 讨论了商代数[F]的性质。
Properties of Topology in De Morgan Quotient Algebra 德摩根商拓扑代数的拓扑性质
At the same, the direct product structure of Fuzzy quotient Boolean algebra is discussed. 并且讨论了Fuzzy商布尔代数的直积特征。
A quotient algebra and properties of weak FI-algebra 弱FI代数的商代数及其性质
The rough classification algebra property is depicted, and the rough quotient algebra is structured. 刻画了粗糙分类代数的性质,构造了粗糙商代数,得到了一些基本结果。
A quotient algebra on N ( 2,2,0) algebra N(2,2,0)代数的一个商代数
The concepts of the quotient lattice algebra, especially the quotient f-algebra, quotient almost f-algebra and quotient d-algebra are given, as well as the equivalent characterizations. 首先给出了格序代数的商的概念。特别的,引入了商f-代数、商几乎f-代数和商d-代数的概念,并给出其等价的刻画方法。
We also present several theorems about the compact property, logic compact property of semantic closure operation and the corresponding closure systems, establish the congruence relation on(?) P induced by certain given information and the corresponding quotient lattice implication algebra. 给出了语义闭包算子的紧致性、逻辑紧致性定理以及相应的闭包系统,同时也建立由某个给定的信息所诱导的Fp上的同余关系,并建立了相应的商代数理论。
We study the d-modules over the ideals generated by a lattice homomorphism or an interval preserving operator with some examples. Finally, the quotient space of a lattice algebra and their algebraic properties have been fully studied. 同时研究了由格同态或保区间算子所生成的主理想上的特殊d-模,得到了d-模的实例。最后一部分主要讨论了格序代数的商空间及其主要的代数性质。